This archive contains the artifact for the CAV (Computer Aided Verification) 2023 paper "Ownership guided C to Rust translation"
This repository contains the artifact for Verification-guided Programmatic Controller Synthesis
Artifact that accompanies the "Capture, Analyze, Diagnose: Realizability Checking of Requirements in...
This is the artifact accompanying the POPL18 paper "RustBelt: Securing the Foundations of the Rust P...
This archive contains the artifact for the CAV (Computer Aided Verification) 2023 paper "Ownership g...
This archive contains the accompanying artifact for the PACMPL/OOPSLA 2021 paper "Translating C to S...
This archive contains the accompanying artifact (a docker container) for our OOPSLA 2023 paper "Alia...
This is the artifact for the PLDI'21 paper "RefinedC: Automating the Foundational Verification of C ...
Artifact accompanying the CAV 2023 paper "Automatic Program Instrumentation for Automatic Verificati...
This is an artifact for the CAV'23 tool paper "Kratos2: an SMT-Based Model Checker for Imperative Pr...
This is a Docker image that contains the codebase and evaluation scripts for our OOPSLA 2023 paper "...
This is the artifact for the PLDI'22 paper "Islaris: Verification of Machine Code Against Authoritat...
The artifact of the paper Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Program...
The artifact of the CAV 2021 paper entitled "Checking Data-Race Freedom of GPU Kernels, Compositiona...
This is the artifact for the OOPSLA'23 paper "Melocoton: A Program Logic for Verified Interoperabili...
This is the artifact accompanying the CAV 2021 paper "Product Programs in the Wild: Retrofitting Pro...
This repository contains the artifact for Verification-guided Programmatic Controller Synthesis
Artifact that accompanies the "Capture, Analyze, Diagnose: Realizability Checking of Requirements in...
This is the artifact accompanying the POPL18 paper "RustBelt: Securing the Foundations of the Rust P...
This archive contains the artifact for the CAV (Computer Aided Verification) 2023 paper "Ownership g...
This archive contains the accompanying artifact for the PACMPL/OOPSLA 2021 paper "Translating C to S...
This archive contains the accompanying artifact (a docker container) for our OOPSLA 2023 paper "Alia...
This is the artifact for the PLDI'21 paper "RefinedC: Automating the Foundational Verification of C ...
Artifact accompanying the CAV 2023 paper "Automatic Program Instrumentation for Automatic Verificati...
This is an artifact for the CAV'23 tool paper "Kratos2: an SMT-Based Model Checker for Imperative Pr...
This is a Docker image that contains the codebase and evaluation scripts for our OOPSLA 2023 paper "...
This is the artifact for the PLDI'22 paper "Islaris: Verification of Machine Code Against Authoritat...
The artifact of the paper Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Program...
The artifact of the CAV 2021 paper entitled "Checking Data-Race Freedom of GPU Kernels, Compositiona...
This is the artifact for the OOPSLA'23 paper "Melocoton: A Program Logic for Verified Interoperabili...
This is the artifact accompanying the CAV 2021 paper "Product Programs in the Wild: Retrofitting Pro...
This repository contains the artifact for Verification-guided Programmatic Controller Synthesis
Artifact that accompanies the "Capture, Analyze, Diagnose: Realizability Checking of Requirements in...
This is the artifact accompanying the POPL18 paper "RustBelt: Securing the Foundations of the Rust P...
DOI
Add to ORKG